An empirical investigation of architectural prototyping

Architectural prototyping is the process of using executable code to investigate stakeholders’ software architecture concerns with respect to a system under development. Previous work has established this as a useful and cost-effective way of exploration and learning of the design space of a system and in addressing issues regarding quality attributes, architectural risks, and the problem of knowledge transfer and conformance. However, the actual industrial use of architectural prototyping has not been thoroughly researched so far. In this article, we report from three studies of architectural prototyping in practice. First, we report findings from an ethnographic study of practicing software architects. Secondly, we report from a focus group on architectural prototyping involving architects from four companies. And, thirdly, we report from a survey study of 20 practicing software architects and software developers. Our findings indicate that architectural prototyping plays an important and frequent role in resolving problems experimentally, but less so in exploring alternative solutions. Furthermore, architectural prototypes include end-user or business related functionality rather than purely architectural functionality. Based on these observations we provide recommendations for effective industrial architectural prototyping.     

Automated Flaw Detection in Algebraic Specifications

In interactive theorem proving practice a significant amount of time is spent on unsuccessful proof attempts of wrong conjectures. An automatic method that reveals them by generating finite counter examples would offer an extremely valuable support for a proof engineer by saving his time and effort. In practice, such counter examples tend to be small, so usually there is no need to search for big instances. Most definitions of functions or predicates on infinite structures do not preserve the semantics if a transition to arbitrary finite substructures is made. We propose constraints which guarantee a correct axiomatization on finite structures and present an approach which uses the Alloy Analyzer to generate finite instances of theories in the theorem prover KIV. It is evaluated on the library of basic data types as well as on some challenging case studies in KIV. The technique is implemented using the Kodkod constraint solver which is a successor of Alloy.     

On notions of regularity for data languages

With motivation from considerations in XML database theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position, a symbol and a data value from an infinite domain. Previous work has shown that it is difficult to come up with an expressive yet decidable automaton model for data languages. Recently, such a model, data automata, was introduced. This paper introduces a simpler but equivalent model and investigates its expressive power, algorithmic and closure properties, and some extensions.     

Design and implementation of the Node Identity Internetworking Architecture

The Internet Protocol (IP) has been proven very flexible, being able to accommodate all kinds of link technologies and supporting a broad range of applications. The basic principles of the original Internet architecture include end-to-end addressing, global routeability and a single namespace of IP addresses that unintentionally serves both as locators and host identifiers. The commercial success and widespread use of the Internet have lead to new requirements, which include Internetworking over business boundaries, mobility and multi-homing in an untrusted environment. Our approach to satisfy these new requirements is to introduce a new Internetworking layer, the node identity layer. Such a layer runs on top of the different versions of IP, but could also run directly on top of other kinds of network technologies, such as MPLS and 2G/3G PDP contexts. This approach enables connectivity across different communication technologies, supports mobility, multi-homing, and security from ground up. This paper describes the Node Identity Architecture in detail and discusses the experiences from implementing and running a prototype.     

Integrated micro Pirani gauge based hermetical package monitoring for uncooled VO x bolometer FPAs

This paper presents the design and fabrication of a micro Pirani gauge using VO _x as the sensitive material for monitoring the pressure inside a hermetical package for micro bolometer focal plane arrays (FPAs). The designed Pirani gauge working in heat dissipating mode was intentionally fabricated using standard MEMS processing which is highly compatible with the FPAs fabrication. The functional layer of the micro Pirani gauge is a VO _x thin film designed as a 100 × 200 μm pixel, suspended 2 μm above the substrate. By modeling of rarefied gas heat conduction using the Extended Fourier’s law, finite element analysis is used to investigate the sensitivity of the pressure gauge. Also the thermal interactions between the micro Pirani gauge and bolometer FPAs are verified. From the fabricated prototype, the measured device TCR is about −0.8% K⁻¹ and the sensitivity about 1.84 × 10⁻³ W K⁻¹ mbar⁻¹.     

A boundary value problem for the KdV equation: Comparison of finite-difference and Chebyshev methods

Solutions of a boundary value problem for the Korteweg–de Vries equation are approximated numerically using a finite-difference method, and a collocation method based on Chebyshev polynomials. The performance of the two methods is compared using exact solutions that are exponentially small at the boundaries. The Chebyshev method is found to be more efficient.     

Computer and Smartphone Continuance Intention: A Motivational Model

This paper develops and tests a motivational model to explain the overall continuance intention to use computers and smartphones. Based on survey data from 192 undergraduate students, structural equation modeling analysis is used to report: (1) the independent effect of intrinsic motivation on the continuance intention to use computers and smartphones; (2) the independent effect of extrinsic motivation on the continuance intention to use computers but not smartphones; (3) intrinsic motivation mediating the effect of extrinsic motivation on the continuance intention to use computers; (4) the independent effect of technology cognizance on the continuance intention to use computers but not smartphones; (5) intrinsic motivation positively influencing extrinsic motivation and technology cognizance, with respect to both devices. This research contributes to an improved understanding of the independent and interrelated effects of intrinsic and extrinsic motivations to use technological devices. The findings have important implications for theory and practice regarding the overall use of technology.     

Participatory ergonomics in design processes: the role of boundary objects

The aim of this paper is to introduce the concept of boundary objects in order to better understand the role of objects in participatory ergonomics (PE) design processes. The research question is: What characterizes boundary objects in PE processes? Based on two case studies, we identify eight characteristics of boundary objects and their use, which make them particularly useful in PE design processes. These characteristics go beyond the object itself and extend into the context of their use. We argue that the selection of boundary objects in PE processes is of great importance, since different objects enable workers’ participation and collaborative design in different ways. The framework developed may serve to provide criteria to guide practitioners and intervention researchers in the selection of objects to facilitate a PE process. The paper concludes with a list of recommendations for ergonomic practitioners that are based on the framework.     

Nonlinear state estimation for rigid-body motion with low-pass sensors

In this paper, we consider the state estimation problem for the nonlinear kinematic equations of a rigid body observed under low-pass sensors. The problem is motivated from a walking robot application where inclinometers and gyros are the sensors used. We show that a non-local high gain observer exists for the nonlinear rigid-body kinematic equations and that it under a small angle assumption is possible to use one inclinometer only to estimate two angles.     

Real-time path planning in dynamic virtual environments using multiagent navigation graphs

We present a novel approach for efficient path planning and navigation of multiple virtual agents in complex dynamic scenes. We introduce a new data structure, Multi-agent Navigation Graph (MaNG), which is constructed using first- and second-order Voronoi diagrams. The MaNG is used to perform route planning and proximity computations for each agent in real time. Moreover, we use the path information and proximity relationships for local dynamics computation of each agent by extending a social force model [Helbing05]. We compute the MaNG using graphics hardware and present culling techniques to accelerate the computation. We also address undersampling issues and present techniques to improve the accuracy of our algorithm. Our algorithm is used for real-time multi-agent planning in pursuit-evasion, terrain exploration and crowd simulation scenarios consisting of hundreds of moving agents, each with a distinct goal.